1. Handbook of Logic in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
2. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
3. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
4. The essence of logic
پدیدآورنده : / John J. Kelly
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی,کامپیوتر
رده :
QA
۹
/
ک
۸
ال
ف
۵ ۱۳۷۶
5. The logic of knowledge bases
پدیدآورنده : / Hector J. Levesque and Gerhard Lakemeyer
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ش‍ن‍اخ‍ت ن‍م‍ای‍ی (ن‍ظری‍ه اطلاع‍ات),س‍ی‍س‍ت‍م‍ه‍ای خ‍ب‍ره (کامپیوتر),منطق ریاضی
رده :
Q
۳۸۷
/
ل
۹
ل
۲ ۱۳۷۹
6. منطق ریاضی و کاربرد آن در علوم کامپیوتر
پدیدآورنده : / تالیف علی بهفروز.
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : منطق ریاضی,علوم کامپیوتر,-- ریاضیات
رده :
۵۱۱
/
۳
ب
۸۶۹
م
۱۳۹۵ ۲۱
7. منطق رياضي و کاربرد آن در علوم کامپيوتر
پدیدآورنده : / تاليف علي بهفروز,بهفروز
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : منطق رياضي,علوم کامپيوتر -- رياضيات
رده :
۵۱۱
/
۳
ب
۸۶۹
م
